The number of the most recent label is kept in 45.
verbatim74#
To put down a label 46, I type 47.
by 1
Number-Foo<#1025#><#1025#>Label-<#1026#><#1026#>
This increments the counter
48, and 49s <#1027#><#1028#><#1029#>
<#1030#><#1031#>/<#1031#><#1032#>Number-Foo<#1032#><#1030#><#1029#>
<#1028#><#1027#>
to be the value of
50, which is now~. So
51 now expands to~Number-Foo.
Similarly, it 52s <#1033#><#1034#><#1035#>
<#1036#><#1037#>/<#1037#><#1038#>Label-Number-Foo<#1038#><#1036#><#1035#>
<#1034#><#1033#>to be
53, which is currently~Label-Number-Foo.
So 54 now expands to~Label-Number-Foo.
verbatim75#
This uses 55, which expands out to
56.
verbatim76#